Predicate logic - PDFSEARCH.IO - Document Search Engine

Predicate logic
Results: 1102

#	Item
111	M ECHANIZED M ATHEMATICS AND I TS A PPLICATIONS, VOL . 4, N O. 1, M ARCH 2005, 3:24 M IZAR: the first 30 years Roman Matuszewski1 and Piotr Rudnicki2? 1 University of Białystok, Białystok, Poland, Add to Reading List Source URL: www.mizar.org Language: English - Date: 2005-07-20 17:21:01 Logic Abstraction Mathematical logic Quantification Propositional calculus Predicate logic Semantics Quantifier Universal quantification Proposition FO Model theory
112	GPS: Navigating Weak Memory with Ghosts, Protocols, and Separation Derek Dreyer Ar tifact Add to Reading List Source URL: plv.mpi-sws.org Language: English - Date: 2014-08-18 18:05:40 Software engineering Mathematical logic Computing Concurrency Logic in computer science Computer memory First-order logic Predicate logic Memory model Hoare logic Lock FO
113	Characterization of the Axiomatizable Prenex Fragments of First-Order Gödel Logics Matthias Baaz∗ Technische Universität Wien A–1040 Vienna, Austria Add to Reading List Source URL: www.preining.info Language: English - Date: 2005-04-12 18:14:28 Logic Mathematical logic Abstraction Non-classical logic Model theory Predicate logic First-order logic Intermediate logic Many-valued logic FO Kripke semantics Fuzzy logic
114	Condition R Jeffrey Lidz IRCS, University of Pennsylvania 1. Introduction* It is by now standard to define anaphors as NPs that cannot refer independently. Reinhart and Reulandfurther divide anaphoric NPs into Add to Reading List Source URL: ling.umd.edu Language: English - Date: 2008-01-09 11:46:59 Syntax Linguistics Grammar Semantics Personal pronouns Parts of speech Predicate logic Anaphora Binding Reflexivity Reflexive pronoun R-expression
115	On weak constant domain principle in the Kripke sheaf semantics Dmitrij Skvortsov? All-Russian Institute of Scientific and Technical Information, VINITI, Add to Reading List Source URL: logica.dmi.unisa.it Language: English - Date: 2015-05-18 14:28:46 Logic Mathematical logic Abstraction Predicate logic Model theory Philosophical logic Modal logic Kripke semantics First-order logic Sheaf FO Well-formed formula
116	Automatic Modular Abstractions for Template Numerical Constraints∗ David Monniaux† May 26, 2010 Abstract Add to Reading List Source URL: www-verimag.imag.fr Language: English - Date: 2010-05-26 10:48:57 Logic Mathematics Mathematical logic Model theory Quantification Metalogic Predicate logic Logic in computer science Quantifier elimination Abstract interpretation Quantifier FO
117	Improving Strategies via SMT Solving Thomas Martin Gawlitza ∗ David Monniaux† Add to Reading List Source URL: www-verimag.imag.fr Language: English - Date: 2011-01-14 08:37:02 Algebra Mathematics Software engineering Predicate logic Abstract interpretation Galois connection Galois theory Order theory Linear map Free variables and bound variables Loop invariant Flow chart language
118	First-order satisfiability in Gödel logics: an NP-complete fragment Matthias Baaza,1 , Agata Ciabattonia,2 , Norbert Preininga,b,3 a b Add to Reading List Source URL: www.preining.info Language: English - Date: 2014-04-03 01:14:57 Logic Mathematical logic Abstraction Model theory Non-classical logic Logic in computer science Predicate logic First-order logic Boolean satisfiability problem Gdel numbering Many-valued logic Kripke semantics
119	Abstract interpretation of probabilistic semantics David Monniaux http://www.di.ens.fr/~monniaux LIENS, 45 rue d’UlmParis cedex 5, France Add to Reading List Source URL: www-verimag.imag.fr Language: English - Date: 2007-10-18 09:43:37 Theoretical computer science Mathematics Mathematical logic Logic in computer science Programming language semantics Measure theory Boolean algebra Probability theory Denotational semantics Predicate transformer semantics Sigma-algebra PP
120	Paul Oppenheimer and Edward N. Zalta Relations Versus Functions at the Foundations of Logic: Type-Theoretic Considerations∗ Paul E. Oppenheimer Add to Reading List Source URL: www.peoppenheimer.org Language: English - Date: 2011-02-19 16:18:52 Logic Mathematical logic Mathematics Model theory Formal languages Predicate logic Metalogic First-order logic Principia Mathematica Interpretation Well-formed formula Lambda calculus

UPDATE